University of Cambridge Computer Laboratory - PDFSEARCH.IO - Document Search Engine

University of Cambridge Computer Laboratory
Results: 746

#	Item
341	slide 2 gaius slide 1 gaius Add to Reading List Source URL: floppsie.comp.glam.ac.uk Language: English - Date: 2015-02-04 11:33:14 Xen NetBSD Linux Terminal Server Project Hyper-V System software Software University of Cambridge Computer Laboratory
342	MA019−002−00−00 Doc. ver.: 5.19 C166/ST10 v8.8 C Cross−Compiler User’s Manual Add to Reading List Source URL: www.tasking.com Language: English - Date: 2010-10-15 07:21:24 Procedural programming languages C++ Subroutines Source code University of Cambridge Computer Laboratory C Parameter Software engineering Computer programming Computing
343	MA019−002−00−00 Doc. ver.: 5.18 C166/ST10 v8.7 C Cross−Compiler User’s Manual Add to Reading List Source URL: www.tasking.com Language: English - Date: 2010-03-26 05:31:19 Procedural programming languages C++ Subroutines Source code University of Cambridge Computer Laboratory C Parameter Software engineering Computer programming Computing
344	Lars Kurth Community Manager, Xen Project Chairman, Xen Project Advisory Board Director, Open Source Business Office, Citrix lars_kurth Add to Reading List Source URL: www.xenproject.org Language: English - Date: 2014-12-09 09:26:22 Committer Ion Software University of Cambridge Computer Laboratory Xen
345	+ egghead.io presents UI Router Cheatsheet + Add to Reading List Source URL: d2eip9sf3oo6c2.cloudfront.net Language: English - Date: 2014-10-04 11:42:22 Source code Subroutine University of Cambridge Computer Laboratory Null Uniform resource identifier AS/400 Control Language Computer programming Computing Holism
346	So Xen. . . What is that thing ? Xen, the hypervisor The privileged domain : dom0 Diving into Xen’s world Virtualizing devices do Virtualization under BSD The case of Xen Jean-Yves Migeon – [removed] EuroBSDco Add to Reading List Source URL: netbsd.org Language: English* - Date: 2012-08-18 09:51:53 Xen NetBSD Hypervisor QEMU Ring IOMMU Hyper-V Virtualization Temporal isolation among virtual machines System software Software University of Cambridge Computer Laboratory
347	Virtualisierung mit Xen Anpassungen f¨ ur die Nutzung der Version 3 wird bei beiden BSDs gearbeitet. Xen 3 bietet im Gegensatz zur VerXen ist ein, urspr¨ unglich an der Universit¨ at von Cambridge sion 2 unter andere Add to Reading List Source URL: netbsd.org Language: English - Date: 2007-10-12 09:32:57 University of Cambridge Computer Laboratory Xen NetBSD
348	ｽﾗｲﾄﾞﾀｲﾄﾙなし Add to Reading List Source URL: rcwww.kek.jp Language: English - Date: 2012-07-09 09:52:59 Procedural programming languages Cross-platform software Holism Source code Subroutine University of Cambridge Computer Laboratory Parameter C DOS Software engineering Computer programming Computing
349	SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions Anil Madhavapeddy1 , David Scott2 , and Richard Sharp3 1 Computer Laboratory, University of Cambridge Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-09-29 14:14:18 SPIN model checker OCaml Model checking Application programming interfaces Secure Shell Promela Assertion Type system C Computing Software Model checkers
350	EUROGRAPHICS[removed]J.C. Torres, A. Lécuyer Lab Presentation Graphics & Interaction Group, The Computer Laboratory, University of Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-10-16 11:55:49 Year of birth missing Human communication Human–computer interaction Scientific revolution SIGGRAPH ACM Transactions on Graphics Rendering Projection augmented model Computer graphics Computer science Computing

UPDATE